Imaging deductive reasoning and the new paradigm
نویسندگان
چکیده
منابع مشابه
Imaging deductive reasoning and the new paradigm
There has been a great expansion of research into human reasoning at all of Marr's explanatory levels. There is a tendency for this work to progress within a level largely ignoring the others which can lead to slippage between levels (Chater et al., 2003). It is argued that recent brain imaging research on deductive reasoning-implementational level-has largely ignored the new paradigm in reason...
متن کاملDeductive Reasoning
Deductive reasoning is the kind of reasoning in which, roughly, the truth of the input propositions (the premises) logically guarantees the truth of the output proposition (the conclusion), provided that no mistake has been made in the reasoning. The premises may be propositions that the reasoner believes or assumptions that the reasoner is exploring. Deductive reasoning contrasts with inductiv...
متن کاملDeductive reasoning.
This article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectives if, or, and and. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains. Finally, it outlines the principal psychological...
متن کاملRelations between inductive reasoning and deductive reasoning.
One of the most important open questions in reasoning research is how inductive reasoning and deductive reasoning are related. In an effort to address this question, we applied methods and concepts from memory research. We used 2 experiments to examine the effects of logical validity and premise-conclusion similarity on evaluation of arguments. Experiment 1 showed 2 dissociations: For a common ...
متن کاملIntegrating Terminological and Deductive Reasoning
We present a data model which supports two kinds of reasoning. Firstly, it supports terminological reasoning in the style of KL-ONE, mainly subsumption of concepts (types) and instantiation of objects, a kind of type inference for objects. Secondly, it also supports deductive inferencing and integrity checking in the style of logic programming languages and deductive databases. This data model ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in Human Neuroscience
سال: 2015
ISSN: 1662-5161
DOI: 10.3389/fnhum.2015.00101